These were two non-original 5.25-inch 360KB disks. Looks like a glitch in manufacturing, because all the non-English support files have identical checksums to the English ones! Works fine, though.
